Eléments de l'association

	Pays-Bas	214
	Patrick Blackburn	51
	Pays-Bas *Sauf* Patrick Blackburn"	202
	Patrick Blackburn *Sauf* Pays-Bas"	39
	Pays-Bas Et Patrick Blackburn	12
	Pays-Bas Ou Patrick Blackburn	253
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 12.

Ident.	Authors (with country if any)	Title
005231	Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas]	Pure Extensions, Proof Rules, and Hybrid Axiomatics
005630	Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas]	Modal logic: a Semantic Perspective
005766	Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni]	Handbook of Modal Logic
007243	Patrick Blackburn [France] ; Bertrand Gaiffe [France] ; Maarten Marx [Pays-Bas]	Variable free reasoning on finite trees
007455	Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]	Constructive Interpolation in Hybrid Logic
008005	Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]	Tableaux for Quantified Hybrid Logic
008737	Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]	Tableaux for Quantified Hybrid Logic
008753	Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]	Remarks on Gregory's “Actually” Operator
008E21	Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France]	Bringing them all together
009286	Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas]	Situation Calculus as Hybrid Logic: First Steps
009461	Patrick Blackburn [France] ; Maarten De Rijke [France, Pays-Bas] ; Yde Venema [Pays-Bas]	Modal Logic
009631	Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France]	Journal of Logic and Computation. Special Issue on Hybrid Logic

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022